Search CORE

89 research outputs found

Questions to Robin Milner : a responders commentary

Author: Roever de, W.P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1986
Field of study

Repository TU/e

Pure OAI Repository

Design and verification in real-time distributed computing : an introduction to compositional methods

Author: Hooman J.J.M.
Roever de, W.P.
Publication venue: North-Holland Publishing Company
Publication date: 01/01/1990
Field of study

Pure OAI Repository

Fairness assumptions for CSP in a temporal logic framework

Author: Kuiper R.
Roever W.P. de
Publication venue: North-Holland (Amsterdam)
Publication date: 01/01/1983
Field of study

CWI's Institutional Repository

Operational, mathematical and axiomatized semantics for recursive procedures and data structures

Author: Roever W.P. de
Publication venue: Stichting Mathematisch Centrum
Publication date: 01/01/1974
Field of study

CWI's Institutional Repository

Recursive program schemes: semantics and proof theory

Author: Roever W.P. de
Publication venue: Centrum Voor Wiskunde en Informatica
Publication date: 01/01/1976
Field of study

CWI's Institutional Repository

De programmeertaal Algol 60 aan de hand van het revised report : Syllabus bij het orienterend colloquium informatica 1970/1971

Author: Roever W.P. de
Publication venue: Stichting Mathematisch Centrum
Publication date: 01/01/1971
Field of study

CWI's Institutional Repository

Full abstraction of a denotational semantics for real-time concurrency

Author: Gerth R.T.
Huizing C.
Roever de, W.P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1986
Field of study

Repository TU/e

Pure OAI Repository

Assertional data reification proofs : surveys and perspective

Author: Coenen J.A.A.
Roever de, W.P.
Zwiers J.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1991
Field of study

Repository TU/e

Pure OAI Repository

A compositional semantics for statecharts

Author: Gerth R.T.
Huizing C.
Roever de, W.P.
Publication venue: Technische Universiteit Eindhoven
Publication date: 01/01/1987
Field of study

Repository TU/e

Pure OAI Repository

A proof system for communicating sequential processes

Author: Apt K.R. (Krzysztof)
Francez N.
Roever W.P. de
Publication venue: A.C.M.
Publication date: 01/01/1980
Field of study

CWI's Institutional Repository

…

core

core